David Pichardie: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Soundly Handling Static Fields: Issues, Semantics and Analysis

Laurent Hubert, David Pichardie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 315 KB

english, 2009

2

Preface

David Pichardie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 90 KB

english, 2011

3

Proof-carrying code from certified abstract interpretation and fixpoint compression

Frédéric Besson, Thomas Jensen, David Pichardie

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 351 KB

english, 2006

4

A Java Card CAP converter in PVS

Thomas Genet, Thomas Jensen, Vikash Kodati, David Pichardie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 177 KB

english, 2004

5

Building Certified Static Analysers by Modular Construction of Well-founded Lattices

David Pichardie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

6

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 287 KB

english, 2005

7

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Preservation of Proof Pbligations for Hybrid Verification Methods

Barthe, Gilles, Kunz, César, Pichardie, David, Samborski-Forlese, Julián

Year:

2008

Language:

english

File:

PDF, 467 KB

english, 2008

8

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7998 || Circular Coinduction in Coq Using Bisimulation-Up-To Techniques

Blazy, Sandrine, Paulin-Mohring, Christine, Pichardie, David

Year:

2013

Language:

english

File:

PDF, 296 KB

english, 2013

9

A certified lightweight non-interference Java bytecode verifier

BARTHE, GILLES, PICHARDIE, DAVID, REZK, TAMARA

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 1.30 MB

english, 2013

10

Formal Verification of an SSA-Based Middle-End for CompCert

Barthe, Gilles, Demange, Delphine, Pichardie, David

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 1.28 MB

english, 2014

11

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Atomicity refinement for verified compilation

Jagannathan, Suresh, Petri, Gustavo, Vitek, Jan, Pichardie, David, Laporte, Vincent

Year:

2013

Language:

english

File:

PDF, 152 KB

english, 2013

12

Atomicity Refinement for Verified Compilation

Jagannathan, Suresh, Laporte, Vincent, Petri, Gustavo, Pichardie, David, Vitek, Jan

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 1.10 MB

english, 2014

13

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - System-level Non-interference for Constant-time Cryptography

Barthe, Gilles, Betarte, Gustavo, Campo, Juan, Luna, Carlos, Pichardie, David

Year:

2014

Language:

english

File:

PDF, 921 KB

english, 2014

14

[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Verified Validation of Program Slicing

Blazy, Sandrine, Maroneze, Andre, Pichardie, David

Year:

2015

Language:

english

File:

PDF, 672 KB

english, 2015

15

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A verified information-flow architecture

Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Year:

2014

Language:

english

File:

PDF, 692 KB

english, 2014

16

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Plan B

Demange, Delphine, Laporte, Vincent, Zhao, Lei, Jagannathan, Suresh, Pichardie, David, Vitek, Jan

Year:

2013

Language:

english

File:

PDF, 881 KB

english, 2013

17

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - A Formally-Verified C Static Analyzer

Jourdan, Jacques-Henri, Laporte, Vincent, Blazy, Sandrine, Leroy, Xavier, Pichardie, David

Year:

2015

Language:

english

File:

PDF, 885 KB

english, 2015

18

Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code

Blazy, Sandrine, Laporte, Vincent, Pichardie, David

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 2.79 MB

english, 2016

19

A Formally-Verified C Static Analyzer

Jourdan, Jacques-Henri, Laporte, Vincent, Blazy, Sandrine, Leroy, Xavier, Pichardie, David

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 885 KB

english, 2015

20

An abstract memory functor for verified C static analyzers

Blazy, Sandrine, Laporte, Vincent, Pichardie, David

Journal:

ACM SIGPLAN Notices

Year:

2016

Language:

english

File:

PDF, 655 KB

english, 2016

21

A verified information-flow architecture

Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Journal:

Journal of Computer Security

Year:

2016

Language:

english

File:

PDF, 410 KB

english, 2016

22

[IEEE 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Santa Barbara, CA, USA (2017.8.21-2017.8.25)] 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Verified Translation Validation of Static Analyses

Barthe, Gilles, Blazy, Sandrine, Laporte, Vincent, Pichardie, David, Trieu, Alix

Year:

2017

Language:

english

File:

PDF, 450 KB

english, 2017

23

[ACM Press the 27th International Conference - Vienna, Austria (2018.02.24-2018.02.25)] Proceedings of the 27th International Conference on Compiler Construction - CC 2018 - Semantic reasoning about the sea of nodes

Demange, Delphine, Fernández de Retana, Yon, Pichardie, David

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

24

Verifying constant-time implementations by abstract interpretation

Blazy, Sandrine, Pichardie, David, Trieu, Alix

Journal:

Journal of Computer Security

Year:

2019

Language:

english

File:

PDF, 564 KB

english, 2019

25

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Zakowski, Yannick, Cachera, David, Demange, Delphine, Petri, Gustavo, Pichardie, David, Jagannathan, Suresh, Vitek, Jan

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 1.05 MB

english, 2019

26

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - Verified compilation of linearizable data structures

Zakowski, Yannick, Cachera, David, Demange, Delphine, Pichardie, David

Year:

2018

Language:

english

File:

PDF, 1.15 MB

english, 2018

27

[ACM Press the 18th Workshop - Rome, Italy (2016.07.17-2016.07.22)] Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs - FTfJP'16 - An Extended Buffered Memory Model With Full Reorderings

Cabon, Gurvan, Cachera, David, Pichardie, David

Year:

2016

Language:

english

File:

PDF, 416 KB

english, 2016

28

[ACM Press the 18th Workshop - Rome, Italy (2016.07.17-2016.07.22)] Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs - FTfJP'16 - An Extended Buffered Memory Model With Full Reorderings

Cabon, Gurvan, Cachera, David, Pichardie, David

Year:

2016

File:

PDF, 416 KB

2016